Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
005078 | Inès Mouakher [Tunisie] ; Arnaud Lanoix [France] ; Jeanine Souquières [France] | Component Adaptation: Specification and Verification |
005A00 | Inès Mouakher [Tunisie] ; Francis Alexandre [France] ; Khaled Bsaïes [Tunisie] | Automatisation de l'application de l'hypothèse de récurrence dans la preuve des formules implicatives |
This area was generated with Dilib version V0.6.33. |